Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
formal methods
1
meta-language
1 ?
 21,213,375 websites (safe search)

  1. Axiomatic Language Home Page

    A minimal, pure specification logic programming language with meta-language capability.
    LISP1
    Prolog1
    functional programming1
    formal methods1
    logic programming1
    meta-language1
    meta-programming1
    software specification1
    axiomatic language0
    higher-order logic0
    HiLog0

    www.axiomaticlanguage.org - 2009-02-07

software verification1 agentur3 computer security2 quality assurance2 hazard analysis1 internet security2 computer5 software testing1 werbung3 software7 consulting5 videotext editor1 quality4 php5 network security2 videotextwerbung1 xml3 html4 werbeagentur3 java4 project management3 marketing6

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.